Denotational semantics - PDFSEARCH.IO - Document Search Engine

Denotational semantics
Results: 326

#	Item
291	Recursive Domains, Indexed Category Theory and Polymorphism Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:48:47 Theory of computation Models of computation Lambda calculus Mathematical logic Denotational semantics Function Categorical logic Topos Domain theory Mathematics Theoretical computer science Applied mathematics
292	cognitive agent programming a semantic approach Add to Reading List Source URL: www.pst.ifi.lmu.de Language: English - Date: 2006-09-29 11:07:11 Semantics Applied mathematics Denotational semantics Philosophy of language Operational semantics Formal semantics Principle of compositionality Theoretical computer science Logic in computer science Programming language semantics
293	✂✁✄ ✂☎✝✆✟✞✡✠☞☛✍✌✎✞✑✏✓✒✕✔✗✖ ✘✚✙✜✛✢✠✡✘✤✣✥✠☞☛✤✦✧✦✄✒★✁✩✣✫✪✬☛✚✁✩✣✮✭✯☛✰✣✮✔✱✆✳✲ ✶✴ ✵✳✷✹✸✻✺✗✼✾✽❀✿❁✽☞✷✹✷❂✼ ❃❅❄❂❆❅❇✟❈❉✽✡❊●❋✗✽✡✵✳✺✳❍■❇✟✽✹❈✚❏●✽☞❑▼▲✰❇☞◆❖◗✼❘❇ Add to Reading List Source URL: www.disi.unige.it Language: English - Date: 2002-07-31 04:27:46 Logic in computer science Adjoint functors Denotational semantics Monad Categorical logic Universal property Semantics of programming languages Structure Model theory Category theory Mathematics Theoretical computer science
294	Composing Monads Using Coproducts Christoph Luth ¨ Add to Reading List Source URL: isi.uni-bremen.de Language: English - Date: 2008-02-15 04:25:18 Computing Adjoint functors Monad Kleisli category Arrow Coproduct Distributive property Product Denotational semantics Software engineering Computer programming Functional programming
295	(! 1 J TOWARD A MATHEMATICAL Add to Reading List Source URL: ecee.colorado.edu Language: English - Date: 2011-08-17 01:57:53 Programming language semantics Models of computation Denotational semantics Metalanguage Programming language Number Dana Scott Arithmetic 0 Mathematics Elementary arithmetic Logic in computer science
296	Under consideration for publication in Math. Struct. in Comp. Science Formalizing Domains, Ultrametric Spaces and Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-11 18:09:29 Topology Logic in computer science Programming language semantics General topology Continuous function Lambda calculus Monad Denotational semantics Function Mathematics Theoretical computer science Models of computation
297	Formalizing Dynamic Software Updating Gavin Bierman† † Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2007-11-14 07:07:40 Applied mathematics Logic in computer science Formal methods Denotational semantics Dynamic Software Updating Module Lambda calculus Combinatory logic Theoretical computer science Models of computation Mathematics
298	THE LAWS Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:32:41 Logic in computer science Models of computation Occam Denotational semantics Free variables and bound variables Guard Expression Variable Mathematics Software engineering Computing
299	Compiling Concurrency Correctly Verifying Software Transactional Memory Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-07-27 06:01:07 Transaction processing Concurrency control Programming language semantics Logic in computer science Programming language implementation Denotational semantics Software transactional memory Transactional memory Haskell Computing Software engineering Theoretical computer science
300	On the non-sequential nature of the interval-domain model of real-number computation Mart´ın Escard´o, Martin Hofmann, Thomas Streicher Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2002-10-18 10:35:03 Calculus Continuous function Function Denotational semantics Partially ordered set Exponentiation Interval arithmetic Uniform continuity Mathematics Mathematical analysis Functions and mappings

UPDATE